Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
551	European Journal of Operational Research–64 www.elsevier.com/locate/dsw Local search for shift design Nysret Musliu a Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Working time Local search Tabu search Employment Constraint programming Shift work
552	IEEE TRANSACTIONS ON SYSTEMS, MAN AND CYBERNETICS 1 Local Search Techniques for Large High-School Timetabling Problems Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:15 Search algorithms Constraint programming Operations research Heuristics Local search Genetic algorithm Tabu search Simulated annealing Hill climbing Mathematics Numerical analysis Mathematical optimization
553	Modeling and Programming with Gecode Add to Reading List Source URL: www.gecode.org Language: English - Date: 2015-03-31 07:22:43 Local consistency Mathematical optimization Computing Constraint satisfaction Constraint programming Software engineering Computer programming
554	Tuning the Alt-Ergo SMT Solver for B Proof Obligations Sylvain Conchon1,2 and Mohamed Iguernelala3,1 1 2 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 11:09:54 Formal methods Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Automated theorem proving Solver Mathematical proof Theoretical computer science Mathematics Applied mathematics
555	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .2cm Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:47:40 Computing Constraint satisfaction problem Mathematical optimization Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
556	Representations in Constraint Programming Christopher Jefferson This thesis is submitted in partial fulfilment of the Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-09-24 07:14:55 Algorithm Representation theory Artificial intelligence Constraint programming Computing Constraint satisfaction
557	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics
558	cKanren miniKanren with Constraints Claire E. Alvis, Jeremiah J. Willcock, Kyle M. Carter, William E. Byrd, Daniel P. Friedman {calvis, jewillco, kylcarte, webyrd, dfried}@cs.indiana.edu Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Logic programming Formal methods Computer programming Lambda calculus Constraint logic programming Conditional Computing Software engineering
559	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:56:08 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
560	CIP and MIQP Models for the Load Balancing Nurse-to-Patient Assignment Problem Wen-Yang Ku, Thiago Pinheiro, and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontar Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2015-01-28 09:11:43 Mathematics Applied mathematics Linear programming Combinatorial optimization Local consistency Cutting-plane method SCIP Assignment problem Relaxation Mathematical optimization Constraint programming Operations research

UPDATE